COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.P11:
C00004 ENDMK
C⊗;
.P11:
%1
.BEGIN "prob1" turn on "\"; krk; nofill;TABs 4,42;
.GROUP
.CENT(Problems)
1.##Evaluate the following:

\%2a.%3 eq[X;Y]  \%2b.%3 cons[X;Y]  
.pt2
\%2c.%3 car[(X . Y)] \%2d.%3 car[cons[X;Y]]
.pt2
\%2e.%3 cadr[(X .(Y . NIL))]   \%2f.%3 cdar[(X .(Y . NIL))]
.APART
.pt2
\%2g.%3 eq[cdr[(A . B)];cdr[(C . B)]]   \%2h.%3 atom[cons[(A . B);(C . D)]]
.pt2
\%2i.%3 cons[atom[A];atom[(A . B)]]   \%2j.%3 eq[atom[ATOM];atom[EQ]]
.pt2
\%2k.%3 [%et%* → A; %et%* → B]  \%2l.%3 [%ef%* → A; %et%* → B]   %2m.%3 [eq[A;B] → 4]
.pt2
\%2n.%3 [atom[X] → atom[X]; %et%* → FOO]   
.pt2
\%2o.%3 [eq[EQ; X] → A; eq[A; B] → B; %et%* → C]
.pt2
\%2p.%3 cons[[eq[A; B] → 1; %et%* → FOO]; cons[A; cadr[(A . (B . C))]]]
.pt2
\%2q.%3 equal[(A . B);(A . B)] \%2r.%3 eq[(A . B);(A . B)]
.END "prob1"